https://filesoo.com/product/9401/handbook-of-constraint-programming